Okay

welcome to the AI One Lecture.

We're seeing a Thursday morning effect here.

We started off after one and a half minutes with a hundred.

That's about a little bit more than that reached

looked at all.

So these are the people who came late.

Looks reasonable.

So are there any questions?

Yes.

Yes.

Functions are anything that takes inputs and gives output.

Addition plug function takes two natural numbers or real numbers

we don't care

as an input

gives you an output.

The sum of both.

That's what a function does.

A relation

on the other hand

is just a set of pairs.

Peter loves Mary.

As a statement

is true or false?

That just means that the pair of Peter and Mary is in the love's relation.

Now if you have a type of Booleans that has true or false

true and false as possible

only possible values

then you can think of a predicate as something that takes two arguments

loves and gives you true and false.

So you can model a predicate as a special function into the Booleans

but is a different

thing, a relationship.

Relationships with one argument we call properties.

The property of being blonde is something that takes one argument and is true or false

then, depending on the hair colour.

We have two place relations

like love.

We have relations with lots of arguments.

For instance

Peter hit the cat with a broom in the bathroom.

Takes four arguments.

Peter

the cat

broom and bathroom.

That's the hits within relation.

Given two arguments, it's either true or false.

Does that answer your question?

Yes.

No